Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
671	From System F to Typed Assembly Language GREG MORRISETT and DAVID WALKER Cornell University KARL CRARY Carnegie Mellon University and Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-10-21 10:40:17 Computing Models of computation Functional languages Program analysis Type system Standard ML Type safety Typed assembly language Lambda calculus Software engineering Type theory Programming language theory
672	Automata theory Regular Cost Functions Contributions of the thesis Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2013-03-18 10:44:50 Computability theory Automata theory Theory of computation Models of computation Church–Turing thesis Finite-state machine Algorithm Decidability Krohn–Rhodes theory Theoretical computer science Computer science Mathematics
673	La d´ecouverte de la calculabilit´e L. De Mol Generating, solving and the mathematics of Homo Sapiens. Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-11-23 05:32:01 Mathematics Theory of computation Alan Turing Models of computation Church–Turing thesis Turing machine Halting problem Computable function Algorithm Computability theory Theoretical computer science Computer science
674	An Interactive Lecture Approach to Teaching Computer Science Susan H. Rodger1 Computer Science Department Duke University Durham, NC, [removed]email: [removed] Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 1998-09-22 12:59:46 Theoretical computer science Computer science Compiler construction Applied mathematics Deterministic pushdown automaton Parsing table LL parser LR parser Pushdown automaton Automata theory Models of computation Formal languages
675	AltaRica 3.0 project: compile Guarded Transition Systems into Fault Trees T. Prosvirnova & A. Rauzy LIX Ecole Polytechnique, Palaiseau, France Add to Reading List Source URL: altarica.fr Language: English - Date: 2013-10-15 05:57:38 Mathematics Diagrams Petri net Computer science Markov chain SL Model theory Mathematical model Theoretical computer science Models of computation Concurrency
676	Microsoft Word - ChemEngA-Mahsa Ghael Candidacy Final.doc Add to Reading List Source URL: research.curtin.edu.au Language: English Mathematical optimization Planning Theoretical computer science Models of computation Scheduling algorithms Petri net Job shop scheduling Scheduling Genetic algorithm Operations research Applied mathematics Mathematics
677	Today: Inside the CPU The Central Processing Unit better known as •  how does the CPU work? Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2010-10-04 14:04:25 Computing Models of computation Accumulator Computer memory Instruction set Little man computer CPU Sim Computer architecture Central processing unit Computer hardware
678	Operational planning in state machines Hans Georg Schaathun1 Magne Aarset2∗ [removed] [removed] 1 Faculty of Engineering and Physical Sciences Add to Reading List Source URL: www.nik.no Language: English - Date: 2014-01-09 04:23:38 Systems theory Systems science Automata theory Digital electronics Models of computation Structured Analysis and Design Technique IDEF0 IDEF Situation awareness Systems analysis Systems engineering Science
679	Mechanized Verification of CPS Transformations Zaynah Dargaye and Xavier Leroy INRIA Paris-Rocquencourt B.P. 105, 78153 Le Chesnay, France [removed], [removed] Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-07-30 10:00:27 Mathematical logic Models of computation Logic in computer science Computability theory Formal methods Continuation-passing style Denotational semantics De Bruijn notation De Bruijn index Theoretical computer science Lambda calculus Mathematics
680	In Praise of Numerical Computation Dedicated to Kurt Mehlhorn on his 60th Birthday Chee K. Yap∗ June 11, 2009 Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2010-09-24 15:20:25 Computability theory Theory of computation Models of computation Formal methods Algorithm Computational geometry Computability Computational science Computer science Theoretical computer science Applied mathematics Mathematics

UPDATE